Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms
نویسندگان
چکیده
منابع مشابه
Soft-Error Detection through Software Fault-Tolerance Techniques
The paper describes a systematic approach for automatically introducing data and code redundancy into an existing program written using a high-level language. The transformations aim at making the program able to detect most of the soft-errors affecting data and code, independently of the Error Detection Mechanisms (EDMs) possibly implemented by the hardware. Since the transformations can be au...
متن کاملSurvey of Error and Fault Detection Mechanisms
This report describes diverse error detection mechanisms that can be utilized within a resilient system to protect applications against various types of errors and faults, both hard and soft. These detection mechanisms have different overhead costs in terms of energy, performance, and area, and also differ in their error coverage, complexity, and programmer effort. In order to achieve the highe...
متن کاملError-detection-based quantum fault tolerance against discrete Pauli noise
Error-detection-based quantum fault tolerance against discrete Pauli noise
متن کاملChapter 16 Concurrent Error Detection Fault Tolerance
A fault tolerant computing system is one that has the built-in capability to preserve the continued correct operation in the presence of a certain set of operational faults, usually through some kind of redundancy.
متن کاملAbstract Fault Tolerance: A Model-Theoretic Approach to Fault Tolerance and Fault Compensation without Error Correction
This paper explores the concept of “pure fault tolerance”--when a system can fulfill its computational goal, even though some of its components do not fulfill theirs. This leads to a natural statement of the composition problem for a very general concept of architecture: to what extent are the properties of a system based on that architecture a function of the properties of the components? The ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Periodica Polytechnica Electrical Engineering and Computer Science
سال: 2017
ISSN: 2064-5279,2064-5260
DOI: 10.3311/ppee.9755